Static variable - PDFSEARCH.IO - Document Search Engine

Static variable
Results: 93

#	Item
41	Astrée Verifying the Absence of Runtime Errors in C Programs Astrée is a parametric static analyzer designed to prove the absence of runtime errors in software programs written in C. Astrée is parameterizable and can Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-11-14 06:34:31 Computer programming Primitive types Abstract interpretation Astrée Software bugs Uninitialized variable C Error Floating point Software engineering Computing Data types
42	l5-variable-elimination.dvi Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2015-02-03 13:09:02 Mathematical analysis Probability theory Compiler construction Static single assignment form Function Markov random field Bayesian network Μ operator Golden ratio base Mathematics Graphical models Networks
43	Work In Progress: an Empirical Study of Static Typing in Ruby Mark T. Daly Vibha Sazawal Jeffrey S. Foster Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-02-03 13:34:59 Type theory Type system Ruby Programming language Strong typing Type safety Variable Object-oriented programming Dynamic programming language Software engineering Computing Programming language theory
44	Motivation Intermediate code in normal form permits maximum flexibility in allocating temporary variables to physical registers. This flexibility is not extended to user variables, and sometimes more registers than neces Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-14 06:00:00 Nm External variable Software Object slicing Compiler construction Computing Static single assignment form
45	Integrated Design and Process Technology, IDPT-2002 Printed in the United States of America, June, 2002 © 2002 Society for Design and Process Science STATIC SOURCE CODE CHECKING FOR USER-DEFINED PROPERTIES Gerard J. Hol Add to Reading List Source URL: www.spinroot.com Language: English - Date: 2008-06-30 15:34:28 Data types C++ Procedural programming languages Pointer C Variable Dataflow Reference ALGOL 68 Software engineering Computing Computer programming
46	Comparison of Open Source and Commercial Static Analysis Solutions Zack Samocha, Senior Director of Products Coverity Add to Reading List Source URL: events.linuxfoundation.org Language: English - Date: 2013-10-16 09:43:58 Software bugs Coverity Pointer Segmentation fault Linux kernel C Source lines of code Uninitialized variable Kernel Computing Software engineering Software
47	Description Part Number: Lifter Type: Grind Add to Reading List Source URL: static.speedwaymotors.com Language: English - Date: 2010-06-10 15:06:20 Rocker arm Camshaft Overhead valve Tappet Variable valve timing Valve float Valvetrain Internal combustion engine Mechanical engineering
48	Description Part Number: Lifter Type: Grind Add to Reading List Source URL: static.speedwaymotors.com Language: English - Date: 2010-06-17 11:28:55 Rocker arm Camshaft Overhead valve Tappet Variable valve timing Valve float Valvetrain Internal combustion engine Mechanical engineering
49	UNIVERSITY OF CAMBRIDGE Computer Laboratory Computer Science Tripos Part II Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-01-11 11:34:03 Compiler optimizations Compiler construction Programming language implementation Register allocation Static single assignment form Data-flow analysis Live variable analysis Subroutine Pointer Software engineering Computing Computer programming
50	Description Part Number: Lifter Type: Grind Add to Reading List Source URL: static.speedwaymotors.com Language: English - Date: 2010-06-10 17:50:53 Rocker arm Camshaft Overhead valve Tappet Top-hat shim Variable valve timing Valve float Valvetrain Internal combustion engine Mechanical engineering